Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources
نویسندگان
چکیده
منابع مشابه
A Petri Net Approach Based Elementary Siphons Supervisor for Flexible Manufacturing Systems
This paper presents an approach to constructing a class of an SPR net for modeling, simulation and control of processes occurring in the flexible manufacturing system (FMS) used based elementary siphons of a Petri net. Siphons are very important to the analysis and control of deadlocks of FMS that is significant objectives of siphons. Petri net models in the efficiency structure analysis, and u...
متن کاملColoured Petri net models for automated manufacturing systems
In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexibte Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of t h e FMC for deadlocks using the invariant analysis of CPNs.
متن کاملOptimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology
Simulation models have proved to be useful for examining the performance of different system configurations and/or alternative operating procedures for complex logistic or manufacturing systems. However, when applying simulation techniques to increase the performance of those systems, several limitations arise due to their inability to evaluate more than a fraction of the immense range of optio...
متن کاملColored timed Petri net based statistical process control and fault diagnosis to flexible manufacturing systems
The quality consistence and machines’ utilization of a flexible manufacturing system (FMS) strongly depend on the statistical process control (SPC) and the correct fault diagnosis of equipments. An FMS can be modeled by the Colored Timed Petri Net (CTPN). However, the CTPN models of most FMSs lack the activities of the statistical process control (SPC) and fault diagnosis, and they lead to the ...
متن کاملRobust supervisory control policies for manufacturing systems with unreliable resources
Manufacturing practitioners and researchers have recognized the need to develop effective supervisory controllers for automated manufacturing systems. One active area of research has been developing deadlock avoidance methods for these systems. Almost all work to date has assumed that allocated resources do not fail. In this paper, we consider deadlock and blocking problems in systems with unre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2968469